"Circus语言在安全关键型应用中的应用 标签： 5个标签 理论计算机科学 肯特大学计算机实验室 英国 Woodcock1，2肯特大学计算机实验室英国摘要Circus是一种统一了Z、CSP和精化演算的语言，我们描述了它在安全关键系统开发中的应用。我们用一个片段来展示《马戏团》的描述力。 我们使用Circus的refinement caclus来...